Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
81	1 Rationale for Ada 2005: 1 Object oriented model John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:59:55 Data types Object-oriented programming Procedural programming languages Cross-platform software Type theory Ada Subtype polymorphism Pointer Objective-C Software engineering Computing Computer programming
82	PVS Release Notes Sam Owre SRI International July 20, 2008 Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2008-07-21 06:13:57 Functional languages Type theory Common Lisp Cross-platform software Lisp Emacs Dependent type Subtype polymorphism Software Computing Lisp programming language
83	Title of Presentation (can accommodate up to a maximum of 3 lines) Add to Reading List Source URL: www.watsonwalker.com Language: English - Date: 2012-03-07 08:44:01 Z/OS CICS Execute Channel Program FICON SMF Subtype polymorphism IBM System Management Facilities SMF 120.9 Computing Java enterprise platform Computer file formats
84	Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-09-04 21:01:39 Mathematics Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Type system Structure Model theory Natural deduction Data types Type theory Software engineering
85	The Cecil Language Specification and Rationale Version 3.2 Craig Chambers and the Cecil Group Department of Computer Science and Engineering University of Washington Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2006-03-23 19:43:32 Computing Cecil Type system Prototype-based programming Inheritance Subtype polymorphism Class C++ Multiple inheritance Software engineering Computer programming Object-oriented programming
86	RICE UNIVERSITY A Framework for Testing Concurrent Programs by Mathias Guenter Ricken Add to Reading List Source URL: www.drjava.org Language: English - Date: 2009-03-06 20:03:57 Extreme programming Java programming language Cross-platform software Reference JUnit Java annotation Annotation Subtype polymorphism Predicate Computing Software Java platform
87	ADDENDUM: An Overview of C2SADEL This addendum introduces C2SADEL, a Software Architecture Description and Evolution Language for C2style architectures. The complete specification of C2SADEL’s syntax is given below. C2 Add to Reading List Source URL: sunset.usc.edu Language: English - Date: 2012-02-19 12:35:06 Computing Polymorphism Object-oriented programming Programming language theory Subtype polymorphism Variable Data types Type theory Software engineering
88	Semantic Subtyping for Session Types Luca Padovani Dipartimento di Informatica, Università di Torino BTW’11 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-05-03 07:43:14 Polymorphism Data types Subtype polymorphism Computing Object-oriented programming Type theory Software engineering
89	113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson Add to Reading List Source URL: www.eah-jena.de Language: English - Date: 2007-10-15 12:28:52 Object-oriented programming Modula-3 Modula-2+ Modula-2 Abstraction Go Subtype polymorphism Jim Horning Interface Computing Software engineering Computer programming
90	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2010-12-04 12:52:17 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types

UPDATE